The GENO Software Stack
نویسندگان
چکیده
Abstract GENO (generic optimization) is a domain specific language for mathematical optimization. The software generates solver from specification of an optimization problem class. problems, that is, their objective function and constraints, are specified in formal language. then translated into general normal form. Problems form passed on to purpose solver. In its Iterations, the evaluates expressions function, derivatives. Hence, computing symbolic gradients linear algebra important component stack. evaluated available hardware platforms including CPUs GPUs different vendors. This becomes possible by compiling BLAS (Basic Linear Algebra Subroutines) calls have been optimized compiler, called autoBLAS, translates another By putting all components together generated solvers competitive with problem-specific hand-written orders magnitude faster than competing approaches offer comparable ease-of-use. While this article describes full stack, also interest own thus made independently.
منابع مشابه
µTSS - A Simplified Trusted Software Stack
The TCG Software Stack (TSS) specifies the software layer for application developers to use functions provided by a Trusted Platform Module (TPM). However, the current TSS interface is highly complex, which makes its usage very difficult and error-prone, and the high complexity makes it unsuitable for embedded devices or security kernels. We present a simplified TSS design and implementation (μ...
متن کاملA Hardware/Software Stack for Heterogeneous Systems
Plenty of novel emerging technologies are being proposed and evaluated today, mostly at the device and circuit levels. It is unclear what the impact of different new technologies at the system level will be. What is clear, however, is that new technologies will make their way into systems and will increase the already high complexity of heterogeneous parallel computing platforms, making it ever...
متن کاملFlip Feng Shui: Hammering a Needle in the Software Stack
We introduce Flip Feng Shui (FFS), a new exploitation vector which allows an attacker to induce bit flips over arbitrary physical memory in a fully controlled way. FFS relies on hardware bugs to induce bit flips over memory and on the ability to surgically control the physical memory layout to corrupt attacker-targeted data anywhere in the software stack. We show FFS is possible today with very...
متن کاملDual Stack Implementation of Mobile IPv6 Software Architecture
IPv6 is introduced mainly to resolve the address space issues and also provides several advanced features. IPv6 is estimated to replace IPv4 in a very near future. Dual Stack Mobile IPv6 (DSMIPv6) is an extension of Mobile IPv6 to support mobility of devices irrespective of IPv4 and IPv6 network. This paper provides an architectural overview of the existing DSMIPv6 implementation and software a...
متن کاملReveR: Software Simulator of Reversible Processor with Stack
A software model of a reversible processor ReveR with the stack is discussed in this paper. An architecture, the minimal set of elementary reversible operations together with an implementation of the basic control flow structures and procedures calls using simple assembler language are described.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2022
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-031-21534-6_12